%{
#include <string>
extern "C" int yywrap() { }
%}

%%

[ \t\n]						;
[a-zA-Z_][a-zA-Z0-9_]* printf("TID ");
[0-9]+ printf("TINT_LITERAL ");

%%
